logical necessity